adjacent(T;L;x;y) == i:{0..(||L|| - 1)}. (x = L[i] & y = L[(i+1)]) 

latex

---

clarification:

adjacent(T;L;x;y) == i:{0..(||L|| - 1)}. (x = L[i]  T & y = L[(i+1)]  T) 

latex

Definitions	x:A. B(x), {i..j}, n - m, ||as||, P & Q, s = t, l[i], n+m, #$n
FDL editor aliases	adjacent